Model Checking Software Product Lines
نویسندگان
چکیده
Dear Reader, This is the second issue of the MoVES newsletter. MoVES stands for “Modelling, Verification and Evolution of Software” and addresses these fundamental issues in software engineering. The project is sponsored by the Belgian government (belspo IAP programme). Each issue of the newsletter presents a partner and a work package. This issue presents results and ongoing research ofWork Package 7-incremental design and verification. The idea of WP7 is to bridge the main topics of the project. Evolution poses a challenge for both modelling and verification: We want to reuse the modelling and verification effort as much as possible when evolving a software system. This requires innovative structuring of the software and the verification process. This issues also presents the PReCISE Research Centre of the University of Namur (FUNDP), and shows the variety of research pursued there. Enjoy reading! Pierre-Yves Schobbens, Nicolas Genon and Andreas Classen
منابع مشابه
Tool Support for Software Variability Management and Product Derivation in Software Product Lines
Software variability management is a key challenge in developing software product lines and deriving products from the product line. In order to provide effective variability management and product derivation in software product lines, which is capable of being automated, certain fundamental building blocks are required. These include multiple product line views, the feature model as the unifyi...
متن کاملDevelopment and evaluation of Formula Editor (a tool-based approach to enhance reusability in software product line model checking) on SAFER case study
Although model checking is extensively used for verification of single software systems, currently there is insufficient support for model checking in product lines. The presence of commonalities within the different products in the product line requires that the properties and the corresponding specifications for these properties be verified for every product in the product line. Specification...
متن کاملA A Classification and Survey of Analysis Strategies for Software Product Lines
Software-product-line engineering has gained considerable momentum in the recent years, both in industry and in academia. A software product line is a family of software products that share a common set of features. Software product lines challenge traditional analysis techniques, such as type checking, model checking, and theorem proving, in their quest of ensuring correctness and reliability ...
متن کاملRepresenting Variability in Product Lines: A Survey of Modeling and Specification Techniques
Software product lines are increasingly used to develop safety-critical and missioncritical systems. To reason about the correctness of product lines, researchers have developed special testing techniques and adapted formal verification techniques such as model checking and theorem proving to the requirements of software product lines. Existing research has focused on the strategies to enable e...
متن کاملSafety analysis of software product lines using state-based modeling and compositional model checking
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . xi CHAPTER
متن کاملTowards Modular Verification of Software Product Lines with mCRL2
We introduce by means of an example a modular verification technique for analyzing the behavior of software product lines using the mCRL2 toolset. Based on feature-driven borders, we divide a behavioral model of a product line into a set of separate components with interfaces and a driver process to coordinate them. Abstracting from irrelevant components, we verify properties over a smaller beh...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010